21. Comuter scence and scientific computing
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، electronic data processing - Congresses,، Science - Data processing - Congress
رده :
QA
75
.
5
.
I25
1976
22. Developments in language theory :
پدیدآورنده : Piotrek Hofman, Michał Skrzypczak (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses.,Data structures (Computer science), Congresses.,Electronic data processing, Congresses.,Formal languages, Congresses.,Logic design, Congresses.,Computer science.,Data structures (Computer science),Electronic data processing.,Formal languages.,Logic design.
23. Distributed computing and internet technology
پدیدآورنده : Manish Parashar, Sanjeev K. Aggarwal (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computer science, Congresses,Electronic data processing-- Distributed processing, Congresses,Internet, Congresses
رده :
QA75
.
5
.
D57
2008eb
24. Distributed intelligence systems: selected papers from the IFAC symposium, Arlington, Virginia, USA, 13-15 August 1991
پدیدآورنده : edited by A.H. Levis and H.E. Stephanou
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Expert systems )Computer science(,Distributed processing - congresses ، Electronic data processing
رده :
QA
76
.
76
.
E95
I37
1991
25. Engineeering distributed objects
پدیدآورنده : / edited by Wolfang Emmerich and Stefan Tai
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Object oriented programming (Computer science)- Congresses,Electronic data processing- Distributed processing- Congresses
رده :
QA76
.
64
.
E255
2001
26. #Engineering distributed objects
پدیدآورنده : #Wolfgang Emmerich, Stefan Tai )eds.(
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع : Object-oriented programming )Computer science(- Congresses ،Electronic data processing- Distributed processing- Congresses
رده :
#
QA
،#.
E25
،#
2000
27. Engineering distributed objects : Second International Workshop, EDO 2000, Davis, CA, USA, November 2-3, 2000 : revised paper
پدیدآورنده : Wolfgang Emmerich, Stefan Tai )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Object-oriented programming )Computer science(,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
1999
28. Euro-Par 2015
پدیدآورنده : \ [Edited by] Sascha Hunold...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses.,Parallel programming (Computer science) -- Congresses.,Electronic data processing -- Distributed processing -- Congresses.,پردازش موازی -- کنگره ها ,برنامه‌نویسی موازی -- کنگره ها ,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
58
.
E92
2015
E-Book
,
29. Euro-Par 2015
پدیدآورنده : \ esper Larsson Träff, Sascha Hunold, Francesco Versaci (eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Parallel processing (Electronic computers) -- Congresses,Parallel programming (Computer science) -- Congresses,Electronic data processing -- Distributed processing -- Congresses,پردازش موازی -- کنگره ها,برنامه‌نویسی موازی -- کنگره ها,داده‌پردازی -- پردازش توزبع شده -- کنگره ها
رده :
QA
76
.
58
.
I58
E92
2015
E-Book
,
30. Expert systems and advanced data processing : proceedings of the Conference on Expert Systems Technology in the ADP Environment, held November 1- 3, 1987, in Washington, D.C., U.S.A.
پدیدآورنده : Conference on Expert Systems Technology in the ADP Environment )7891 : Washington, D.C.(
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Expert systems )Computer science(- Congresses,، Electronic data processing- Congresses
31. First International Enterprise Distributed Object Computing Workshop: October 24-26, 1997, Gold Coast, Australia
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : Congresses ، Object-oriented methods )Computer science(,Congresses ، Electronic data processing-- Distributed processing
رده :
QA
76
.
9
.
O35
.
I563
1997
32. Formal Techniques for Distributed Objects, Components, and Systems
پدیدآورنده : \ Susanne Graf , Mahesh Viswanathan (Eds.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Electronic data processing -- Distributed processing -- Congresses.,Formal methods (Computer science) -- Congresses.,Computer network protocols -- Congresses.,داده‌پردازی -- پردازش توزبع شده -- کنگره ها ,روش‌های صوری (کامپیوتر) -- کنگره ها ,پروتکل‌های شبکه کامپیوتری -- کنگره ها
رده :
QA
76
.
9
.
D5F6
2015
E-Book
,
33. Formal methods for distributed system development :October 10-13, 2000, Pisa, Italy
پدیدآورنده : FORTE/PSTV 0002, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification ; edited by Tommaso Bolognesi, Diego Latella
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : Congresses ، Electronic data processing- Distributed processing,Congresses ، Formal methods )Computer science(
رده :
QA
76
.
9
.
F67
34. Formal methods for open object-based distributed systems : 7th IFIP WG 6.1 International Conference, FMOODS 2005, Athens, Greece, June 15-17, 2005 : proceedings
پدیدآورنده : Martin Steffen, Gianluigi Zavattaro )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3535
35. Formal methods for open object-based distributed systems : 6th IFIP WG 6.1 international conference, FMOODS 2003, Paris, France, November 19-21, 2003 : proceedings
پدیدآورنده : Elie Najm, Uwe Nestmann, Perdita Stevens )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Electronic data processing -- Distributed processing,Congresses ، Object-oriented programming )Computer science(
رده :
QA
76
.
L28
Vol
.
2884
36. Formal methods for open object-based distributed systems. volume 2
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع : ، Electronic data processing-- Distributed processing-- Congresses,، Object-oriented methods )Computer science(-- Congresses
رده :
QA
76
.
9
.
D5
.
F66
1997
37. Formal techniques for distributed systems
پدیدآورنده : Dirk Beyer, Michele Boreale (eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Electronic data processing-- Distributed processing, Congresses,Formal methods (Computer science), Congresses
رده :
QA76
.
9
.
D5
38. Formal techniques for networked and distributed systems
پدیدآورنده : / edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Electronic data processing , Distributed processing , Congresses,Formal methods (Computer science) , Congresses,Electronic books. , local
رده :
E-BOOK
39. Formal techniques for networked and distributed systems
پدیدآورنده : / Edited by Myungchul Kim ... [et al.]
کتابخانه: کتابخانه و مرکز اطلاع رسانی دانشگاه بین المللی امام رضا علیه السلام (خراسان رضوی)
موضوع : Formal methods (Computer science)--Congresses,Electronic data processing--Distributed processing--Congresses,Computer network protocols--Congresses
رده :
EB
,
QA76
.
9
F67I579
2001
40. Formal techniques for networked and distributed systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Formal methods (Computer science) ; Congresses. ; Electronic data processing ; Distributed processing ; Congresses. ; Computer network protocols ; Congresses. ;
